<HTML><HEAD><TITLE>get_finite_integer_bounds(?Var, -Lo, -Hi)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>get_finite_integer_bounds(?Var, -Lo, -Hi)</H1>
Retrieve the current (finite, integral) bounds of Var.
<DL>
<DT><EM>Var</EM></DT>
<DD>A variable or a number
</DD>
<DT><EM>Lo</EM></DT>
<DD>Lower bound
</DD>
<DT><EM>Hi</EM></DT>
<DD>Upper bound
</DD>
</DL>
<H2>Description</H2>
<P>
   Primitive for retrieving the (finite, integral) upper and lower bounds of
   Var.  Lo and Hi return the minimum and maximum (respectively) of the
   variable's interval.  If Var has not been declared before, it will be
   turned into an integer variable.  If Var is a real IC variable, it will
   be constrained to be integral.  If any bound is infinite, it has a
   default bound imposed to make it finite (-10000000 for lower bounds,
   10000000 for upper bounds).  (These changes may cause propagation.)
   Bounds are always returned as integers.  If Var is a ground integer, Lo
   and Hi will unified with that integer.  All other cases result in a type
   error.</P>

<H3>Modes and Determinism</H3><UL>
<LI>get_finite_integer_bounds(?, -, -) is det
</UL>
<H2>See Also</H2>
<A HREF="../../lib/ic/get_bounds-3.html">get_bounds / 3</A>, <A HREF="../../lib/ic/get_integer_bounds-3.html">get_integer_bounds / 3</A>, <A HREF="../../lib/ic/get_float_bounds-3.html">get_float_bounds / 3</A>
</BODY></HTML>
